Classical order - PDFSEARCH.IO - Document Search Engine

Classical order
Results: 427

#	Item
101	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
102	Arti®cial Intelligence in Engineering±12 www.elsevier.com/locate/aieng Animal-like adaptive behavior F.J. Vico, P. Mir, F.J. Veredas, J. de La Torre Add to Reading List Source URL: geb.uma.es Language: English* - Date: 2012-09-06 08:14:46 Behavior Philosophy of mind Experimental psychology Neural networks Classical conditioning Computational neuroscience Extinction Operant conditioning Second-order conditioning Behaviorism Learning Mind
103	A M E R I C A N I N S T I T U T E O F C E RT I F I E D P L A N N E R S THE PROFESSIONAL INSTITUTE OF THE AMERICAN PLANNING ASSOCIATION PRACTICING PLANNER ORDER FORM RATE EFFECTIVE THROUGH SEPTEMBER 30, 2005 Add to Reading List Source URL: www.planning.org Language: English - Date: 2008-07-03 15:07:36 Classical cipher Tanzanian conservation organisations Computer programming Linguistics Computing
104	Egon Borger Erich Gradel Yuri Gurevich The Classical Decision Problem Add to Reading List Source URL: www.gbv.de Language: English - Date: 2007-11-05 08:28:23 Computability theory Model theory Complexity classes Metalogic Proof theory Decision problem Decidability Satisfiability First-order logic Theoretical computer science Computational complexity theory Mathematical logic
105	The crystallographic phase problem Classical direct methods In order to calculate an electron density map, we require both the intensities I = \|F \|2 and the phases φ of the reflections hkℓ. Add to Reading List Source URL: shelx.uni-ac.gwdg.de Language: English - Date: 2013-02-25 13:25:44 Materials science Nature Condensed matter physics Phase problem Molecule Direct methods Crystal structure Crystallography Chemistry Science
106	2011 SEASON Signatur e Sound Schubert’s Great C Major Add to Reading List Source URL: www.sydneysymphony.com Language: English - Date: 2014-08-14 06:04:26 Johannes Brahms Violin Concerto Concerto Brett Dean Tragic Overture Grawemeyer Award Frank Peter Zimmermann Charles Munch discography Symphony No. 3 Music Classical music Members of the Bavarian Maximilian Order for Science and Art
107	Improved Dual System ABE in Prime-Order Groups via Predicate Encodings Jie Chen1,? , Romain Gay2,?? , and Hoeteck Wee2,? ? ? 1 East China Normal University, Shanghai, China 2 ENS, Paris, France Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-30 12:17:21 Classical cipher Group theory Index of a subgroup Four-square cipher
108	SYMPHONIC FIRSTS Brahms and Mahler THURSDAY AFTERNOON SYMPHONY Thursday 27 November 2014 Add to Reading List Source URL: www.sydneysymphony.com Language: English - Date: 2014-11-20 22:54:14 Johannes Brahms Violin Concerto Robert Schumann George Szell Joseph Joachim Concerto Book:Johannes Brahms Piano Concerto No. 1 Music Classical music Members of the Bavarian Maximilian Order for Science and Art
109	A research and education initiative at the MIT Sloan School of Management Description Logic Programs: Combining Logic Programs with Description Logic Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:20 Information science Non-classical logic Semantic Web Logic in computer science Artificial intelligence Description logic First-order logic Ontology Function Logic Mathematical logic Mathematics
110	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2006-09-08 09:58:34 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic

UPDATE